$\forall$$D$:Dsys, $i$:Id. d{-}world{-}state($D$;$i$) $\in$ Type